.name "12a"
.type PN

.places
counter-order
counter-take
drive-thru-start
drive-thru-end
drive-thru-order
drive-thru-pay
drive-thru-take
terminal
entrance
empl.-free
counter-end
counter-order-buffer
terminal-buffer
counter-waiting
counter-buffer
drive-thru-order-buffer
drive-thru-pay-buffer
drive-thru-take-buffer
empl.-busy
empl.-done
pay

.transitions
order
pay
drive
order
order
take
take
next
distrib.
next
next
begone
begone
busy
done
done

.flows
order: {1*drive-thru-order, 1*drive-thru-pay-buffer, 1*empl.-busy} -> {1*drive-thru-pay, 1*drive-thru-order-buffer}
pay: {1*drive-thru-pay, 1*drive-thru-take-buffer, 1*empl.-busy} -> {1*drive-thru-take, 1*drive-thru-pay-buffer, 1*empl.-done}
drive: {1*drive-thru-start, 1*drive-thru-order-buffer} -> {1*drive-thru-order}
order: {2*terminal} -> {1*terminal-buffer, 1*counter-waiting}
order: {2*counter-order, 1*empl.-busy} -> {1*counter-order-buffer, 1*pay}
take: {1*drive-thru-take, 1*empl.-busy} -> {1*drive-thru-end, 1*drive-thru-take-buffer, 1*empl.-done}
take: {1*counter-take, 1*empl.-busy} -> {1*counter-end, 1*counter-buffer}
next: {1*terminal-buffer} -> {1*terminal}
distrib.: {1*entrance} -> {1*counter-waiting, 1*counter-order, 1*terminal}
next: {1*counter-order-buffer} -> {1*counter-order}
next: {1*counter-waiting, 1*counter-buffer} -> {1*counter-take}
begone: {1*counter-end} -> {1*empl.-done}
begone: {1*drive-thru-end} -> {1*empl.-done}
busy: {1*empl.-free} -> {1*empl.-busy}
done: {1*empl.-done} -> {1*empl.-free}
done: {1*pay} -> {1*counter-waiting, 1*empl.-done}

.initial_marking {2*drive-thru-start, 1*terminal, 2*entrance, 2*empl.-free, 1*counter-order-buffer, 1*terminal-buffer, 1*counter-waiting, 1*counter-buffer, 1*drive-thru-order-buffer, 1*drive-thru-pay-buffer, 1*drive-thru-take-buffer, 1*pay}
